$\forall$${\it es}$:event\_system\{i:l\}, $l$:IdLnk, ${\it tg}$:Id, $L$:(Knd List). sframe{-}p(${\it es}$; $l$; ${\it tg}$; $L$) $\in$ prop\{i:l\}